Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
131	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
132	Katahdin Mutating a Programming Language’s Syntax and Semantics at Runtime Chris Seaton The University of Bristol Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Computing Computer programming Parsing expression grammar Recursive descent parser LL parser Left recursion LR parser Operator associativity Syntax Software engineering Formal languages Parsing
133	Katahdin A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Chris Seaton Traditional Development Tools Add to Reading List Source URL: www.chrisseaton.com Language: English Formal languages Compiler construction Procedural programming languages Notation Programming language Parsing Compiler-compiler Python Compiler Software engineering Computing Computer programming
134	DEPARTMENT OF COMPUTER SCIENCE A Programming Language Where the Syntax and Semantics Are Mutable at Runtime Christopher Graham Seaton Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Formal languages Compiler construction Parsing Programming language implementation Programming language Syntax Compiler-compiler Memoization Formal grammar Computing Software engineering Computer programming
135	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
136	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
137	Learning with Compositional Semantics as Structural Inference for Subsentential Sentiment Analysis Yejin Choi and Claire Cardie Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: blog.appinions.com Language: English - Date: 2014-10-31 15:21:37 Computational linguistics Grammar Natural language processing Semantics Formal languages Polarity item Sentiment analysis Heuristic English language Languages of Africa Languages of Oceania Culture
138	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
139	Overcoming the Knowledge Engineering Bottleneck for Understanding Student Language Input Carolyn P. Ros´e, Andy Gaydos, Brian S. Hall, Antonio Roque, and Kurt VanLehn Learning Research and Development Center, University Add to Reading List Source URL: aroque.bol.ucla.edu Language: English - Date: 2010-11-21 01:04:58 Semantics Mathematical logic Grammar Formal languages Computational linguistics Semantic network Well-formed formula Proposition First-order logic Logic Linguistics Science
140	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-15 19:09:56 Zhu Feng WP Formal methods Predicate transformer semantics Program logic

UPDATE